منابع مشابه
Desenho por Contrato: Um Ciclo de Vida
Resumo — Um dos grandes objectivos da Engenharia de Software é produzir software com qualidade. Significa isto que propriedades como robustez, correcção, reutilização, manutenção, compatibilidade, eficiência, portabilidade e funcionalidade, entre outras, têm que estar presentes num produto de software com qualidade. O Desenho por Contrato (DpC) com Object Constraint Language (OCL) e a Programaç...
متن کاملUm processo para construção de software mais transparente
Resumo. À medida que o software está cada vez mais presente em nossas vidas, se tornando parte de nosso cotidiano, a sociedade também exigirá sua transparência. Cabe, portanto à engenharia de software, como disciplina, propor métodos e ferramentas para apoiar esta nova demanda. Um software é transparente quando manipula informações transparentes e informa sobre si mesmo, como funciona, o que fa...
متن کاملUm Modelo de Avaliação de Especificações Semi-Formais de Requisitos de Software Baseado na Teoria do
Resumo. O objetivo deste trabalho é apresentar um modelo de avaliação de especificações semi-formais de requisitos de software baseado na Teoria dos Conjuntos Nebulosos. Especificações semi-formais normalmente são apresentadas como um conjunto de diagramas onde os requisitos do software são declarados. Especialistas do domínio do problema e engenheiros de requisitos devem conjuntamente avaliar ...
متن کاملApunts de teoria de jocs
C. Funcions convexes 31 C.1 Funcions convexes . . . . . . . . . . . 31 C.2 Funcions còncaves . . . . . . . . . . . 32 C.3 Operacions que preserven la convexitat . 32 C.4 Continuïtat i derivabilitat de funcions convexes . . . . . . . . . . . . . . . . . 32 C.5 Exemples de funcions convexes en R . . 33 C.6 Exemples de funcions convexes en R . 33 C.7 Funcions quasiconvexes . . . . . . . . . 33 C.8...
متن کاملUm Método de Sobreposição de Mapas mais Eficiente para a TerraLib
This paper describes the implementation of a more efficient method to overlay two maps using the TerraLib library. As shown by some tests, this method is much more efficient than the original method and this fact is more evident when more complex maps are used. Resumo. Este artigo descreve a implementação de um método mais eficiente para a sobreposição utilizando a biblioteca TerraLib. Como os ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Organicom
سال: 2009
ISSN: 2238-2593,1807-1236
DOI: 10.11606/issn.2238-2593.organicom.2009.139033